The Asf + Sdf Meta - Environment : a Component - BasedLanguage Development

نویسندگان

  • H. A. de Jong
  • M. de Jonge
  • T. Kuipers
  • P. Klint
  • L. Moonen
  • P. A. Olivier
  • J. Scheerder
  • J. J. Vinju
  • E. Visser
چکیده

The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language deenitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the Meta-Environment started exhibiting more and more characteristics of a legacy system, we decided to build a completely new, component-based, version. We demonstrate this new system and stress its open architecture.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The ASF+SDF Meta-environment: A Component-Based Language Development Environment

The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. Over the years, this system has been used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since the existing implementation of the ...

متن کامل

Development of Parsing Tools for CASL Using Generic Language Technology

An environment for the Common Algebraic Speci cation Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic speci cation formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-de ned syntax which is non-trivial to process: ASF+SDF o ers a powerful parsing technology (Generalized LR). Its interactive development environment...

متن کامل

edited by Professor C . J . van Rijsbergen M P A Sellink ( Ed ) 2 nd International Workshop on the Theory and Practice of Algebraic Specifications , Amsterdam 1997

The current implementation of the ASF+SDF Meta-Environment has been in existence for more than five years and is becoming obsolete for a variety of reasons, ranging from maintenance problems to problems of scale. A new and improved implementation is in an advanced stage of development. The design choices involved and the progress made to date are summarized. This is a progress report on ongoing...

متن کامل

Action Semantics and ASF+SDF: System Demonstration

Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with action semantics allows complete language descriptions with exceptionally good modularity. Moreover, by specifying the descriptions in ASF+SDF, the ASF+SDF Meta-Environment can be used to provide appropriate tool support.

متن کامل

Specifying an Automated Induction

We describe the implementation of an automated theorem pro-ver for algebraic speciications, in an algebraic speciication setting using the ASF+SDF Meta-environment. The current implementation is based on the implicit induction approach implemented in SPIKE 1, 2]. We consider the implementation as a case study on the tool generation within ASF+SDF which also provides an experimental basis for th...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001